Closed discrete subsets in first countable, countably metacompact spaces

CH and first countable , countably compact spaces ✩

We show that it is consistent with the Continuum Hypothesis that first countable, countably compact spaces with no uncountable free sequences are compact. As a consequence, we get that CH does not imply the existence of a perfectly normal, countably compact, non-compact space, answering a question of Nyikos (Question 287 in the numbering of van Mill and Reed, Open Problems in Topology, Elsevier...

First Countable, Countably Compact Spaces and the Continuum Hypothesis

We build a model of ZFC+CH in which every first countable, countably compact space is either compact or contains a homeomorphic copy of ω1 with the order topology. The majority of the paper consists of developing forcing technology that allows us to conclude that our iteration adds no reals. Our results generalize Saharon Shelah’s iteration theorems appearing in Chapters V and VIII of Proper an...

Remarks on Star Countable Discrete Closed Spaces

In this paper, we prove the following statements: (1) There exists a Tychonoff star countable discrete closed, pseudocompact space having a regular-closed subspace which is not star countable. (2) Every separable space can be embedded into an absolutely star countable discrete closed space as a closed subspace. (3) Assuming 20 = 21 , there exists a normal absolutely star countable discrete clos...

On first countable , countably compact spaces III : The problem of obtaining separable noncompact examples

Quotients of countably based spaces are not closed under sobrification

In this note we show that quotients of countably based spaces (qcb spaces) and topological predomains as introduced by M. Schröder and A. Simpson are not closed under sobrification. As a consequence replete topological predomains need not be sober, i.e. in general repletion is not given by sobrification. Our counterexample also shows that a certain tentative “equalizer construction” of repletio...